batman finally killed the joker